形式演绎系统L^*相关论文
在著名的形式演绎系统L*中引入一种新的运算(○+),讨论了这种运算的性质,得到了形式演绎系统的弱演绎定理.......
对模糊命题演算的形式演绎系统中的公理L10:(A→B)∨((A→B)→A∨B)进行了较为深刻的研究,一方面应用L10讨论了L^*系统与Lukasiewicz系统,GSd......